Designing Interfaces to Analyze Composition
نویسندگان
چکیده
Component-based design is widely used in embedded software design, where a new component can be generated by composing existing components. However a composition does not always generate a valid component. We define a composition to be valid with respect to a property if the composition preserves that property under certain context. In order to reason about whether a composition is valid, we need to use interfaces to represent the properties we are interested in. In this paper, we explore possible designs of interfaces for this purpose and deploy these interfaces to analyze a few examples with different models of computation.
منابع مشابه
Concepts and issues in interfaces for multiple users and multiple devices
In this paper, we identify and discuss several groups of issues that arise in the design of interfaces for multiple users interacting with multiple devices. We analyze in what ways these interfaces differ from traditional single-user singledevice interfaces, and identify different characteristics of interfaces. We categorize a possible set of device types that may exist in an environment, and t...
متن کاملReal-time Multimedia Composition using Lua
In this paper, a new interface for programming multimedia compositions in Max/MSP/Jitter using the Lua scripting language is presented. Lua is extensible and efficient making it an ideal choice for designing a programmatic interface for multimedia compositions. First, we discuss the distinctions of graphical and textual interfaces for composition and the requirements for a productive compositio...
متن کاملResearch on the Reconfiguration Router Unit Component Composition Technology Based on the Agent
Component based reconfiguration router unit (RRU) is one of the most effective solutions to improve function extended. It can satisfy the urgent need of multinetwork and multi-business. Component composition and compositional reasoning are the core technologies and frontier research areas in RRU. Based on the characteristics of RRU and software components and inspired by software component reus...
متن کاملآسیبشناسی طراحی فرش‌های رایج و نوآوری در آنها
One of the most important factors resulting in outstanding qualities of Persian carpets is their designs. In designing a carpet, the important challenge is to strike a balance between preserving the cultural and artistic values of the design and it’s innovative. Using principles of visual arts, in this paper an attempt has been made to analyze genuine carpet designs and to identify their ...
متن کاملA Routing-Aware Simulated Annealing-based Placement Method in Wireless Network on Chips
Wireless network on chip (WiNoC) is one of the promising on-chip interconnection networks for on-chip system architectures. In addition to wired links, these architectures also use wireless links. Using these wireless links makes packets reach destination nodes faster and with less power consumption. These wireless links are provided by wireless interfaces in wireless routers. The WiNoC archite...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004